Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.orgยท5h
๐Ÿ”Static Analysis
The Amaranth hardware description language
amaranth-lang.orgยท5hยท
Discuss: Hacker News
๐ŸงฉRISC-V
Analysing Snapshot Isolation
muratbuffalo.blogspot.comยท3hยท
Discuss: Hacker News
๐Ÿ”„CRDT
Framework To Control And Interact With SystemC-based Virtual Platforms Using The FMI (RWTH Aachen Univ. et al.)
semiengineering.comยท17h
๐Ÿ”ŒMicrocontrollers
How the Lean language brings math to coding and coding to math
amazon.scienceยท15hยท
Discuss: Hacker News
โ˜๏ธServerless Rust
Intel Struggles With Key Manufacturing Process For Next PC Chip
hardware.slashdot.orgยท10h
๐Ÿ–ฅcomputers
Building a Factory Test Framework for ECU Low-Level APIs in CAN-Based HIL Systems
hackernoon.comยท2d
๐Ÿ”ŒMicrocontrollers
Relative Completeness of Incorrectness Separation Logic
arxiv.orgยท1d
ฮปFunctional Programming
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.meยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ”ŒEmbedded Rust
Machine Learning Fundamentals: model evaluation
dev.toยท17hยท
Discuss: DEV
๐Ÿ—๏ธAI Infrastructure
ClinicalFMamba: Advancing Clinical Assessment using Mamba-based Multimodal Neuroimaging Fusion
arxiv.orgยท5h
๐Ÿง Neuromorphic Chips
Rapid PCB Prototyping with KiCad and a CNC Router
peterprototypes.comยท23hยท
Discuss: Hacker News
๐Ÿ”—WebAssembly IoT
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.ioยท18hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Pulse Shape Discrimination Algorithms: Survey and Benchmark
arxiv.orgยท5h
๐ŸงฌComputational Biology
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.comยท20hยท
Discuss: Hacker News
๐Ÿ—๏ธAI Infrastructure
The hiring test that defeated AI
bitecode.devยท18hยท
Discuss: Hacker News
๐Ÿ”Static Analysis
Hardware Has Changed
buttondown.comยท13hยท
Discuss: Hacker News
โšกHardware Acceleration
Learning About Threads: An Essential Guide for Developers
hackernoon.comยท21h
๐Ÿ”eBPF
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.comยท4dยท
Discuss: Hacker News
๐Ÿ”ŒEmbedded Rust
Real-World Evaluation of Protocol-Compliant Denial-of-Service Attacks on C-V2X-based Forward Collision Warning Systems
arxiv.orgยท5h
๐Ÿ”ฌeBPF Monitoring